On Morita’s Fundamental Theorem for C−algebras

We give a solution, via operator spaces, of an old problem in the Morita equivalence of C*-algebras. Namely, we show that C*-algebras are strongly Morita equivalent in the sense of Rieffel if and only if their categories of left operator modules are isomorphic via completely contractive functors. Moreover, any such functor is completely isometrically isomorphic to the Haagerup tensor product (= interior tensor product) with a strong Morita equivalence bimodule. An operator module over a C∗−algebra A is a closed subspace of some B(H) which is left invariant under multiplication by π(A), where π is a *-representation of A on H . The category AHMOD of *-representations of A on Hilbert space is a full subcategory of the category AOMOD of operator modules. Our main result remains true with respect to subcategories of OMOD which contain HMOD and the C∗−algebra itself. It does not seem possible to remove the operator space framework; in the very simplest cases there may exist no bounded equivalence functors on categories with bounded module maps as morphisms (as opposed to completely bounded ones). Our proof involves operator space techniques, together with a C∗−algebra argument using compactness of the quasistate space of a C∗−algebra, and lowersemicontinuity in the enveloping von Neumann algebra. Date: May, 1997. Revised June 1998. * Supported by a grant from the NSF. The contents of this paper were announced at the joint meeting of the Canadian Operator Algebra Symposium, and the Great Plains Operator Theory Seminar, May 17-22, 1997. 1